Buy Used and New Gerwin Klein Books

Interactive Theorem Proving: 5th International Conference, ITP 2014, Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July ... 8558 (Lecture Notes in Computer Science)

by Gerwin Klein, Ruben Gamboa

ISBN 13: 9783319089690

Format: Paperback (580 pages)
Publisher: Springer
Published: 01 Aug 2014

Save for later

Concrete Semantics: With Isabelle/HOL

by Tobias Nipkow,Gerwin Klein

ISBN 13: 9783319105413

Format: Hardcover (311 pages)
Publisher: Springer
Published: 31 Dec 2014

Save for later

Concrete Semantics: With Isabelle/HOL

by Tobias Nipkow,Gerwin Klein

ISBN 13: 9783319357591

Format: Paperback (311 pages)
Publisher: Springer
Published: 10 Sep 2016

Save for later